<HTML>
<BODY>
<p>Public code from external sources with or without copyright</p>
</BODY>
</HTML>
